-
1 finitely definable variety
Математика: конечно определимое многообразиеУниверсальный англо-русский словарь > finitely definable variety
-
2 finitely definable variety
English-Russian scientific dictionary > finitely definable variety
-
3 finitely
конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely additive function ≈ конечно аддитивная функция finitely additive measure ≈ конечно аддитивная мера finitely approximable group ≈ конечно аппроксимируемая группа finitely approximable semigroup ≈ финитно аппроксимируемая полугруппа finitely approximated system ≈ конечно аппроксимированная система finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие finitely basable manifold ≈ конечно базируемое многообразие finitely bounded germ ≈ конечно ограниченный росток finitely cogenerated group ≈ конечно копорожденная группа finitely compact manifold ≈ конечно компактное многообразие finitely compact set ≈ конечно компактное множество finitely compact space ≈ конечно компактное пространство finitely connected domain ≈ конечносвязная область finitely connected module ≈ конечно связный модуль finitely connected subset ≈ конечно связное подмножество finitely convergent element ≈ конечно сходящийся элемент finitely convergent semigroup ≈ конечно сходящаяся полугруппа finitely definable quasivariety ≈ конечно определимое квазимногообразие finitely definable variety ≈ конечно определимое многообразие finitely defined algebra ≈ конечно определенная алгебра finitely defined group ≈ конечно определенная группа finitely definite set ≈ конечно определенное множество finitely differentiable equation ≈ конечно-дифференцируемое уравнение finitely generated algebra ≈ конечно порожденная алгебра finitely generated extension ≈ конечно порожденное расширение finitely generated field ≈ конечно порожденное поле finitely generated group ≈ матем. группа с конечным числом образующих finitely generated model ≈ конечно порожденная модель finitely generated monoid ≈ конечно порожденный моноид finitely generated presentation ≈ конечно порожденное представление finitely generated representation ≈ конечно порожденное пространство finitely generated ring ≈ конечно порожденное кольцо finitely generated semigroup ≈ конечно порожденная полугруппа finitely generated sheaf ≈ пучок с конечным числом образующих finitely generated structure ≈ конечно порожденная структура finitely generated subgroup ≈ конечно порожденная подгруппа finitely generated submodule ≈ конечно порожденный подмодуль finitely generated subobject ≈ конечно порожденный подобъект finitely generating ideal ≈ конечно порожденный идеал finitely mean valent function ≈ конечнолистная в среднем функция finitely measurable function ≈ конечно измеримая функция finitely measurable set ≈ конечно измеримое множество finitely presented group ≈ конечно представимая группа finitely presented module ≈ конечно представимый модуль finitely presented semigroup ≈ конечно определенная полугруппа finitely presented system ≈ конечно представленная система finitely productive space ≈ конечно продуктивное пространство finitely related group ≈ группа с конечным числом отношений finitely related presentation ≈ представление с конечным числом соотношений finitely related representation ≈ представление с конечным числом определяющих соотошений finitely sheeted domain ≈ конечнолистная область finitely sheeted space ≈ конечнолистное пространство finitely spanned module ≈ матем. модуль конечнопорожденный finitely triangulated manifold ≈ конечно триангулированное многообразие finitely triangulated space ≈ конечно триангулированное пространство finitely triangulated triad ≈ конечно триангулированная триада finitely valued function ≈ конечнозначная функция finitely valued random variable ≈ конечнозначная случайная величина purely finitely additive ≈ вполне конечно аддитивный - at most finitely many - finitely additive - finitely approximable - finitely axiomatized - finitely branched - finitely cogenerated - finitely compact - finitely connected - finitely covered - finitely definable - finitely defined - finitely dependent - finitely differentiable - finitely distributive - finitely generated - finitely invariant - finitely measurable - finitely open - finitely presented - finitely productive - finitely related - finitely satisfiable - finitely sheeted - finitely subadditive - finitely valued FinitelyБольшой англо-русский и русско-английский словарь > finitely
-
4 variety
1) разнообразие; многообразие2) множество3) видоизменение, изменчивость•- absolutely irreducible variety - absolutely normal variety - arithmetically normal variety - connected complete variety - finitely definable variety - locally analytic variety - locally finite variety - locally normal variety - locally soluble variety - locally solvable variety - proper algebraic variety - solvable variety
См. также в других словарях:
Relation algebra — is different from relational algebra, a framework developed by Edgar Codd in 1970 for relational databases. In mathematics, a relation algebra is a residuated Boolean algebra supporting an involutary unary operation called converse. The… … Wikipedia
Residuated Boolean algebra — In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given… … Wikipedia
mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… … Universalium
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
analysis — /euh nal euh sis/, n., pl. analyses / seez /. 1. the separating of any material or abstract entity into its constituent elements (opposed to synthesis). 2. this process as a method of studying the nature of something or of determining its… … Universalium
Pseudoelementary class — In logic, a pseudoelementary class is a class of structures derived from an elementary class (one definable in first order logic) by omitting some of its sorts and relations. It is the mathematical logic counterpart of the notion in category… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
Logic and the philosophy of mathematics in the nineteenth century — John Stillwell INTRODUCTION In its history of over two thousand years, mathematics has seldom been disturbed by philosophical disputes. Ever since Plato, who is said to have put the slogan ‘Let no one who is not a geometer enter here’ over the… … History of philosophy
